Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
881	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
882	Imperial/TP/97–[removed]arXiv:quant-ph[removed]v4 13 Oct 1998 A Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations Add to Reading List Source URL: philsci-archive.pitt.edu Language: English - Date: 2010-10-07 11:12:47 Quantum mechanics Field theory Constructible universe Kochen–Specker theorem Boolean algebra Valuation Self-adjoint operator Quantum logic Abstract algebra Physics Algebra
883	Submission to CONSTRAINTS Stochastic Constraint Programming: A Scenario-Based Approach Abstract To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic cons Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:55:03 Computer programming Constraint satisfaction Stochastic Constraint optimization Mathematical optimization Random variable Linear programming Constraint logic programming Stochastic modelling Constraint programming Software engineering Mathematics
884	Circuit Simulation some humbling thoughts… Manfred Wendt Fermi National Accelerator Laboratory, Batavia, IL 60510, U.S.A. 1 Abstract. A short, very personal note on circuit simulation is presented. It does neither incl Add to Reading List Source URL: adweb.desy.de Language: English - Date: 2007-03-14 05:34:42 Electronic circuits SPICE Electronic circuit simulation Logic simulation Simulation Electrical network Electronic circuit Transistor model CircuitLogix Electronic engineering Simulation software Electronic design automation
885	Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2014-10-13 11:19:47 Partial equivalence relation Function Equivalence relation Finitary relation Lambda calculus Binary relation Total order Implementation of mathematics in set theory Preorder Mathematics Mathematical logic Order theory
886	Conceptual Graphs John F. Sowa Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence and the existential graphs of Charles Sanders Peirce. Several Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-05-01 10:56:18 Philosophical logic Knowledge representation Diagrams Charles Sanders Peirce Conceptual graph Existential graph Quantification First-order logic Charles Sanders Peirce bibliography Logic Mathematics Science
887	MANFRED MOHR COMPUTER GRAPHICS Accepting that creative work is an algorithm which represents a human behavior in a given through a mathematical formalism, and setting them up in an abstract combinatorial framework . Add to Reading List Source URL: www.radicalsoftware.org Language: English - Date: 2003-05-09 14:46:16 Knowledge Logic Theoretical computer science Dichotomies Philosophical logic Algorithm Aesthetics Computer A priori and a posteriori Philosophy Axiology Branches of philosophy
888	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
889	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
890	Creating Features from a Learned Grammar in a Simulated Student Nan Li and Abraham Schreiber and William W. Cohen and Kenneth R. Koedinger1 Abstract. Understanding and developing intelligent agents that simulate human le Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-10-01 10:08:43 Science Programming paradigms Compiler construction Machine learning Predicate logic Predicate Parse tree Parsing Logic programming Logic Formal languages Linguistics

UPDATE